701. Logics of specification languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
702. Logics of specification languages
پدیدآورنده: Dines Bjrner, Martin C. Henson, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
703. MATLAB Recipes
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software. ; Mathematics. ; Programming languages (Electronic computers). ; Professional Computing. ;
704. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
پدیدآورنده: A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
رده :
QA
76
.
7
.
A285
2005
705. Machine Learning Using R
پدیدآورنده: / by Karthik Ramasubramanian, Abhishek Singh
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer science,Computer programming,Programming languages (Electronic computers),Database management
رده :
QA
75
.
5
.
R3
2017
706. Machine oriented higher level languages
پدیدآورنده: / edited by W. L. van der Poel and L. A. Maarssen
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Congresses
رده :
QA
76
.
I18
1973
707. Machine oriented higher level languages
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Programming languages (Electronic computers) -- Congresses
رده :
76
.
I8
708. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973
پدیدآورنده: IFIP Working Conference on Machine Oriented Higher Level Languages, 3791, Trondheim
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I18
1973
709. Machines, languages, and complexity
پدیدآورنده: / 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computers -- Congresses,Programming languages (Electronic computers) -- Congresses,Computational complexity -- Congresses
رده :
QA
76
.
5
.
I5773
1988
710. Machines, languages, and complexity
پدیدآورنده: International Meeting of Young Computer Scientists, )5th, 8891, Smolenice, Czechoslovakia(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computers-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computational complexity-- Congresses
رده :
QA
76
.
5
.
I5773
1988
711. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988
پدیدآورنده: Selected contributions, J. Dassow, J. Kelemen, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
381
712. Manipulation languages, Piss, 1966. Symbol manipulation languages and techniques. Proceedings of the IFIP Working conference on Symbol Manipulation Languages
پدیدآورنده: / edited by Daniel G. Bobrow
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Programming languages (Electronic computers) - Congresses
رده :
001
.
6424
I11s
1966
713. Maple user manual.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Maple (Computer file),Maple (Computer file),Mathematics-- Data processing.,Programming languages (Electronic computers),Mathematics-- Data processing.,Programming languages (Electronic computers)
رده :
QA76
.
95
.
M362
2005
714. Mastering Julia :
پدیدآورنده: Malcolm Sherrington
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Numerical analysis-- Data processing,Programming languages (Electronic computers)
رده :
QA76
.
7
715. Mastering Rust :
پدیدآورنده: Vesa Kaihlavirta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software-- Development.,Computer programming.,Programming languages (Electronic computers),Application software-- Development.,Computer programming.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- General.,COMPUTERS-- Programming-- Object Oriented.,Programming languages (Electronic computers)
رده :
QA76
.
7
716. Mastering computer programming
پدیدآورنده: Gosling, Peter Edward
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming languages (Electronic computers)
رده :
005
G676m
717. Mastering computer programming
پدیدآورنده: Gosling, Peter Edward
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming languages (Electronic computers)
رده :
005
G676m
718. Mastering computer programming
پدیدآورنده: Gosling, Peter Edward
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming languages (Electronic computers)
رده :
005
G676m
719. Mastering regular expressions /
پدیدآورنده: Jeffrey E.F. Friedl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing.,Programming languages (Electronic computers),Text processing (Computer science),Langages de programmation.,Technologie de l'information.,Traitement de texte.,Electronic data processing.,Java (programmeertaal),PERL.,Programming languages (Electronic computers),String matching.,Text processing (Computer science)
رده :
QA76
.
9
.
T48
F75
2002
720. Masterminds of programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)--Design
رده :
QA
,
76
.
7
,.
M37
,
2009
